Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода. (Википедия)
Развёрнутое толкование значения слов и выражений, список фразеологизмов и устойчивых сочетаний, примеры, поясняющие отдельные значения.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Правописание, таблицы склонения имён существительных и прилагательных, таблицы спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.